function resize_query()
{
	query_width = size['width'] - $('query').getStripStyle('left') - $('query').getStripStyle('margin-left') - $('query').getStripStyle('margin-right') - $('query').getStripStyle('padding-left') - $('query').getStripStyle('padding-right');
	
		$('query').setStyle({'width': (query_width)+'px'});	
		$('query_area').setStyle({'width': (query_width)+'px'});	
		$('query_area').setStyle({'height': $('query').getStyle('height')});	

}

function add_query(str)
{
	$('query_area').value = str;
}